make it known that… - German English Dictionary